case MSR_IA32_TIME_STAMP_COUNTER:
msr_content = hvm_get_guest_time(v);
break;
+
case MSR_IA32_APICBASE:
msr_content = vcpu_vlapic(v)->hw.apic_base_msr;
break;
+
case MSR_EFER:
msr_content = v->arch.hvm_svm.cpu_shadow_efer;
break;
msr_content = 0;
break;
+ case MSR_K8_VM_HSAVE_PA:
+ svm_inject_exception(v, TRAP_gp_fault, 1, 0);
+ break;
+
default:
if ( rdmsr_hypervisor_regs(ecx, &eax, &edx) ||
rdmsr_safe(ecx, eax, edx) == 0 )
hvm_set_guest_time(v, msr_content);
pt_reset(v);
break;
+
case MSR_IA32_APICBASE:
vlapic_msr_set(vcpu_vlapic(v), msr_content);
break;
+
+ case MSR_K8_VM_HSAVE_PA:
+ svm_inject_exception(v, TRAP_gp_fault, 1, 0);
+ break;
+
default:
if ( !long_mode_do_msr_write(regs) )
wrmsr_hypervisor_regs(ecx, regs->eax, regs->edx);